شبیه سازی پایشگر در کنترل سرپرستی - یک روش مبتنی بر دامنه

author

سید مرتضی بابامیر دانشگاه کاشان، گروه مهندسی کامپیوتر

Abstract:

در کنترل نظارتی سیستم‌های گسسته، یک پایشگر پاسخ‌های سیستم‌‌‌ به وقایع محیطی را پایش می‌کند تا اگر پاسخ سیستم نامطلوب باشد یک موقعیت ناامن یا بحرانی را به کاربر گزارش کند. منظور از پاسخ نامطلوب، پاسخی از سیستم است که باعث نقض نیاز کاربر سیستم شود. تاکنون چندین روش برای مدل‌سازی و شبیه‌‌سازی کنترل سرپرستی سیستم‌های گسسته ارائه شده‌اند اما فقدان یک روش سیستماتیک که متکی به داده‌های دامنه مسئله باشد، وجود دارد. به منظور ارائه یک روش مبتنی بر دامنه، ما از یک روش سه مرحله‌ای استفاده می کنیم. در مرحله اوّل، با داده‌های گسسته شروع می‌کنیم. داده‌های گسسته، عناصر اوّلیه محیط سیستم‌های گسسته است و به وسیله کاربران سیستم به عنوان یک وسیله اندازه‌گیری نیازهایشان استفاده می‌شود. نیاز‌ها، نقش حیاتی در سیستم‌های حساس به ایمنی مانند سیستم‌های پزشکی و هوافضا بازی می‌کند. ما از داده‌های گسسته برای تعریف رخدادها و شروطی استفاده می‌کنیم که در تعریف نیازها استفاده می‌شود. پس از استخراج رخدادها و شروط از روی داده‌های دامنه مسئله و تعریف نیازها، یک اتوماتای پتری ساخته می-شود. این اتوماتا برای تعیین نقض نیازهای کاربران سیستم در مرحله دوّم استفاده می‌شود. اتوماتای پتری هسته پایشگر را تشکیل می‌دهد و برای تشخیص پاسخ‌های نامطلوب سیستم به نیازهای کاربران استفاده می‌شود. در قدم سوّم، شبیه‌سازی حین اجرای مشاهده‌گر ارائه می‌شود که در آن از فنآوری‌های چندخطی و چندنخی و چند وظیفه‌ای کتابخانه TPL از ماکروسافت استفاده می‌شود. در خاتمه، سیستم حفاظت قطار به عنوان یک مورد مطالعه از سیستم‌های گسسته همروند مطرح می‌شود تا نحوه به‌کارگیری مراحل روش پیشنهادی برای مدل‌سازی و شبیه‌سازی مشاهده‌گر نشان داده شود. نتایج شبیه‌سازی بر اساس پیاده‌سازی روی کامپیوتر چند هسته تحلیل می‌شود.

Upgrade to premium to download articles

Already have an account?login

similar resources

طراحی و شبیه سازی یک روش مسیریابی مبتنی بر کیفیت سرویس در شبکه سیار موردی

ماهیت شبکه سیار موردی، تغییرات ساختاری مداوم و عدم وابستگی گره ها به یک واحد مرکزی است. در این مقاله با استفاده از قوانین محاسبات پهنای باند مصرفی در قرارداد های چند پخشی سعی شده برای جلوگیری از کاهش تدریجی نرخ تحویل بسته ها، در زمانی که سرعت گره های شبکه در حال افزایش است، قرارداد سودمندی ارائه شود. قرارداد سودمند که با ایجاد تغییر در قرارداد مبنا تعبیه شده است، qb-odmrp نام گذاری شده تا بتوان...

full text

مروری بر روش شبیه سازی مونت کارلو

full text

پیش بینی تاخوردگی دامنه پروتئین ها مبتنی بر روش DBSCAN

در این مقاله یک روش طبقه بندی تغییر یافته بر مبنای روش های طبقه بندی بر اساس چگالی برای طبقه بندی تاخوردگی پروتئین ها ارائه شده است که این روش در برابر وجود نویز مقاوم بوده و از سرعت بالایی برخوردار خواهد بود. طبقه بندی پروتئین ها بمنظور پیش بینی عملکرد آنها و شناسایی خواص پروتئین ها یکی از مسائل بزرگ در حوزه طبقه بندی است. با توجه به پیشرفت علم و دستگاه های توالی یابی پروتئین های بسیاری کشف شد...

full text

آموزش مبتنی بر شبیه سازی

چکید ه سابقه و هدف: بهبود کیفیت در آموز ش عالی، از رویکردهایی است که در دهه اخیر در بسیاری از نظا مهای آموزش عالی مورد توجه قرار گرفته ا ست.ا ز سویی، آموزش پزشکی برای ا ینکه بتواند پاسخگوی تغییر و تحولات سریع پزشکی باشد، ناگزیرا ز تغییر ا ست و باید از روش های نوین آموزشی بهره گیرد که یکی ا زا ین روش ها، آموزش مبتنی بر شبیه سازی است. رو شها: این مقاله از نوع مروری بوده ودر تدوین آن از جستجوهای ا...

full text

شبیه سازی نحوه پخش آلودگی در پشت یک ساختمان با استفاده از یک روش RANS-LES

امروزه مبحث آلودگی هوا به یکی از بزرگترین معضلات خصوصا در شهرهای بزرگ تبدیل شده است که اثرات فراوانی بر محیط زیست و سلامتی افراد می-گذارد. در این مقاله‏‌ نحوه پخش آلاینده گازی سبک در اطراف یک ساختمان در جریان آشفته 3 بعدی غیرقابل تراکم با استفاده از یک مدل توربولانسی ترکیبی تشریح می گردد. آلودگی در اطراف یک ساختمان در رژیم باد کم سرعت ممکن است در نواحی خاصی تجمع یابد و برای محیط زیست و پیاده رو...

full text

طراحی کنترل تطبیقی مقاوم به روش کلیدزنی با سرپرستی مبتنی بر نظریه فیدبک کمّی و انتقال بدون پرش

استفاده از کلیدزنی و سرپرستی و تلفیق آن با طراحی فیدبک کمّی (qft) برای فرایندهایی که گستره نامعینی وسیعی دارند، در این مقاله پیشنهاد شده است. در این راهکار مجموعه نامعینی به بازه های کوچکتری که به هر کدام یک فرایند (مدل) نامی اختصاص می یابد، تفکیک می شود. با فرض اینکه مساله کنترل مقاوم را برای هر کدام از این بازه ها می توان با تئوری فیدبک کمّی حل کرد، در ساختار پیشنهادی از یک تصمیم ساز رده بالا (...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}

Journal title

هوش محاسباتی در مهندسی برق

volume 3 issue 1

pages 47- 64

publication date 2012-05-21

unfollow

{@ msg @}

By following a journal you will be notified via email when a new issue of this journal is published.

Keywords

کنترل سرپرستی شبیه سازی روش توصیف مبتنی بر دامنه مدل سازی

Hosted on Doprax cloud platform doprax.com